"Tim Denvir" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Автор: Tim Denvir, Автор: Rosalind Herman, Автор: Robin Whitty

Размер книги: 143 Kb

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

Автор: International Symposium of Formal Methods, Автор: Maurice Naftalin, Автор: Tim Denvir, Автор: Miquel Bertran

Размер книги: 6.41 Mb